-
1 Geometry Theorem Prover
File extension: GTPУниверсальный русско-английский словарь > Geometry Theorem Prover
-
2 теорема о продолжении
extension theorem мат., ( отображений клеточных разбиений) prolongation theoremРусско-английский научно-технический словарь Масловского > теорема о продолжении
-
3 теорема о продолжении
Универсальный русско-английский словарь > теорема о продолжении
-
4 теорема о расширении модели
Mathematics: model extension theoremУниверсальный русско-английский словарь > теорема о расширении модели
-
5 теорема
theorem• Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...• В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...• В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Данная теорема немедленно вытекает из... - The theorem follows at once from...• Данная теорема остается справедливой даже если... - The theorem is still true even if...• Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...• Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.• Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.• Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.• Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.• Имеется хорошо известная теорема о... - There is a well-known theorem on...• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.• Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.• Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.• Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].• Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...• Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.• Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...• Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...• Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...• Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.• Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...• Следующая теорема известна как... - The next theorem is known as...• Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...• Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.• Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...• Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.• Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...• Теорема не сообщает ничего о... - The theorem says nothing about...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...(= модификации), если... - The statement of the theorem needs modification if...• Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...• Частным случаем этой теоремы является... - A particular case of this theorem is that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Эта теорема обеспечивает нас... - This theorem provides us with...• Эти две теоремы совместно показывают, что... - These two results together show that...• Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem. -
6 расширение
extension, prolongation, expansion, dilatation, completion, enlargement• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Это рассуждение, в основном, является расширением... - The argument is essentially an extension of... -
7 обобщение теоремы
extension of theorem мат.Русско-английский научно-технический словарь Масловского > обобщение теоремы
-
8 обобщение
generalization, extension• Более точным обобщением является концепция... - A more accurate generalization is the concept of...• В основном, это обобщение (чего-л). - This is essentially a generalization of...• В третьей главе мы увидим другое обобщение той же самой основной идеи. - In Chapter 3 we shall meet another generalization of the same basic idea.• Для последующего нам необходимо одно обобщение (чего-л). - In the sequel we require a generalization of...• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• К счастью, это может достигнуто прямым обобщением... - Fortunately, this can be accomplished by a straightforward generalization of...• Непосредственное обобщение является (нашей) следующей задачей. - A direct extension is the following problem.• Непосредственным обобщением соотношения (4) является то, что... - It is an immediate generalization of (4) that...• Нижеследующее является обобщением результата, доказанного Смитом [1]. - The following is a generalization of a result proved by Smith [1].• Подобное обобщение возможно для... - A similar generalization is possible for...• Предыдущие определения являются прямыми обобщениями... - The above definitions are straightforward generalizations of...• Простым обобщением (1) мы можем записать... - By a simple extension of (1) we may write...• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...• Смит [1] предпринял обобщение... - Smith [1] has undertaken a generalization of...• Это обобщение на случай N > 2 измерений будет сделано (с помощью и т. п.)... - The extension to N > 2 dimensions will be effected by...• Этот обобщение нельзя применять в случае... - This generalization cannot be applied to the case of...• Этот результат предлагает естественное обобщение... - This result suggests a natural generalization of... -
9 непосредственный
immediate, direct, spontaneous(= прямым) следствием... - This theorem is a direct corollary of...• Непосредственное (= прямое) применение теоремы 1 приводит к заключению, что... - A direct application of Theorem 1 yields...• Непосредственное обобщение является (нашей) следующей задачей. - A direct extension is the following problem.• Непосредственной подстановкой можно проверить, что... - It may be verified by direct substitution that...• Непосредственные наблюдения показывают, что... - Direct observation reveals that...• Непосредственным обобщением соотношения (4) является то, что... - It is an immediate generalization of (4) that...• Результаты получены при помощи непосредственного наблюдения... - The results are obtained by direct observation of...Русско-английский словарь научного общения > непосредственный
-
10 обобщать
(= обобщить, распространить на) generalize, extend• Данная теорема была обобщена на случай высоких размерностей Вейнштейном (1967 г.). - This theorem has been generalized to higher dimensions by Weinstein (1967).• Мы немедленно обобщим задачу следующим образом:... - We immediately generalize the problem as follows:...• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...• Теперь высказанные ранее идеи могут быть обобщены. - The preceding ideas can now be generalized.• Это позволяет обобщить получившиеся уравнения на случай систем... - This permits the extension of the resulting equations to systems of... -
11 обобщение теоремы
Mathematics: extension of theorem -
12 другой
other, another, different, more, else• Безусловно, существует много других форм... - There are, of course, many other forms of...• В качестве другого примера мы можем проверить... - As a further example we may examine...• Второй член в другой части уравнения... - The second term on the other hand of the equation...• Другим важным замечанием является то, что... - Another important remark is that...• Другими словами, возможно, что... - In other words, it is possible that...• Другими словами, мы бы ожидали... - In other words, we would expect...• Другими словами, мы ищем... - In other words, we seek...• Другими словами, мы хотим... - In other words, we wish to...• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Другой возможностью является... - Another possible alternative is to...• Другой интересный результат, принадлежащий Риману, состоит в том, что... - Another interesting result, due to Riemann, is that...• Другой крайностью является... - At the other extreme is...• Другой метод был предложен Джонсом [1]. - A different method has been given by Jones [1].• Другой точки зрения придерживался Джонс [1], который... - A different view was held by Jones [1], who...• Имеется и другой смысл... - There is another sense in which...• Как мы сейчас увидим, это другая ситуация. - But here the situation is different, as we shall now see.• Мы можем взглянуть на это с другой стороны. - We can look at this in another way.• Мы можем получить то же самое заключение другим способом в случае, когда... - We can reach the same conclusion in another way for the case of...• Мы можем сказать (= сформулировать) это же в другой форме:... - Another way of saying this is...• Мы принимаем совершенно другой метод. - We adopt an entirely different method.• Однако имеется другая причина того, что... - But there is another reason that...• Однако совершенно другое дело... - It is, however, quite a different matter to...• Применим другой способ. Это значит, что... - Put the other way around, this means that...• С другой стороны, иногда очень трудно (сформулировать и т. п.)... - On the other hand, it is sometimes very difficult to...• С другой стороны, недавно полученные данные указывают, что... - On the other hand, recent findings indicate that...• С другой стороны, эксперименты показывают, что... - On the other hand, experiments show that...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Совершенно другой подход базируется на... - A fundamentally different approach is based on...• Теперь мы переходим к другой проблеме... - We now pass to another problem...• Эти уравнения могут быть решены последовательно одно за другим. - These equations can be solved successively.• Это другой пример (чего-л). - This is another example of... -
13 базис
1. м. геод. base, initial line2. м. мат. basis3. м. крист. basal plane
См. также в других словарях:
Hartogs' extension theorem — In mathematics, precisely in the theory of functions of several complex variables, Hartogs extension theorem is a statement about the singularities of holomorphic functions of several variables. Informally, it states that the support of the… … Wikipedia
Carathéodory's extension theorem — See also Carathéodory s theorem for other meanings. In measure theory, Carathéodory s extension theorem proves that for a given set Ω, you can always extend a sigma; finite measure defined on R to the sigma; algebra generated by R , where R is a… … Wikipedia
Tietze extension theorem — In topology, the Tietze extension theorem states that, if X is a normal topological space and is a continuous map from a closed subset A of X into the real numbers carrying the standard topology, then there exists a continuous map with F(a) =… … Wikipedia
Isomorphism extension theorem — In field theory, a branch of mathematics, the isomorphism extension theorem is an important theorem regarding the extension of a field isomorphism to a larger field. Isomorphism extension theorem The theorem states that given any field F, an… … Wikipedia
Whitney extension theorem — In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor s theorem. Roughly speaking, the theorem asserts that if A is a closed subset of a Euclidean space, then it is possible to… … Wikipedia
M. Riesz extension theorem — The M. Riesz extension theorem is a theorem in mathematics, proved by Marcel Riesz during his study of the problem of moments.FormulationLet E be a real vector space, F subset E be a vector subspace, and let K subset E be a convex cone.Then, a… … Wikipedia
Kolmogorov extension theorem — In mathematics, the Kolmogorov extension theorem (also known as Kolmogorov existence theorem) is a theorem that guarantees that a suitably consistent collection of finite dimensional distributions will define a stochastic process. It is credited… … Wikipedia
Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… … Wikipedia
Extension und Intension — sind moderne semantische Ausdrücke, insbesondere der Logik, Sprachphilosophie und Linguistik, die den Umfang beziehungsweise Inhalt von Zeichen oder sprachlicher Ausdrücke bedeuten. Sie werden vornehmlich statt der traditionellen Ausdrücke… … Deutsch Wikipedia
Extension de Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… … Wikipédia en Français
Hahn–Banach theorem — In mathematics, the Hahn–Banach theorem is a central tool in functional analysis. It allows the extension of bounded linear operators defined on a subspace of some vector space to the whole space, and it also shows that there are enough… … Wikipedia
